:: [Int] -> Int -package:LambdaHack package:mixed-types-num

Extract the last element of a list, which must be finite and non-empty.
Extract the first element of a list, which must be non-empty.